Adapting TDL to Provide Testing Support for Executable DSLs.

Testing is one of the most prevalent and successful verification validation (V&V) techniques used in field software engineering. While a large number testing frameworks exist for general-purpose programming languages, providing facilities any given executable Domain Specific Language (xDSL) remains costly challenging task. In this context, standard such as Test Description (TDL) appears suitable foundation definition generic approach xDSLs. Unfortunately, TDL does not provide domain-specific concepts required to write test cases xDSL include model execution facilities. Our contribution addresses these limitations thereby provides fully xDSLs based on TDL. Required are automatically inferred from through transformation into Model provided refined operational semantics The application our 5 different shows its generality that it can successfully be models.